MGSyn: Automatic Synthesis for Industrial Automation

MGSyn is a programming toolbox based on game-theoretic notions of synthesis for generating production code in the domain of industrial automation. Instead of painstakingly engineering sequences of relatively low-level program code, the designer selects pre-defined hardware components together with behavioral interfaces from a given library, specifies a topology for the interconnection of components, and specifies the programming/synthesis problem in terms of what needs to be achieved. Given the model and a problem specification, MGSyn synthesizes executable C/C++ code for a concrete execution platform and an interactive simulator. The synthesized code is used to control distributed industrystandard PLCs in a FESTO modular production system.